Compactness of fuzzy logics
نویسندگان
چکیده
This contribution is concerned with the compactness of fuzzy logics, where we concentrate on the three standard fuzzy logics—Łukasiewicz logic, Gödel logic, and product logic.
منابع مشابه
Fuzzy Logics as Families of Bivaluated Logics
In this paper we will prove the equivalence between L-valued logics and L-indexed families of bivaluated logics. It is also proved that this equivalence can be used as a tool for checking compactness and decidability properties of a L-valued logic.
متن کاملSatis ability in fuzzy logics
The notion of validation set of a formula in a fuzzy logic was introduced by Butnariu, Klement and Zafrany. It is the set of all evaluations of the formula for all possible evaluations of its atomic symbols. We generalize this notion to sets of formulas. This enables us to formulate and prove generalized theorems on satissability and compactness of various fuzzy logics. We also propose and stud...
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملSEMI $theta$-COMPACTNESS IN INTUITIONISTIC FUZZY TOPOLOGICAL SPACES
The purpose of this paper is to construct the concept of semi$theta$-compactness in intuitionistic fuzzy topological spaces. We give some characterizationsof semi $theta$-compactness and locally semi -compactness. Also, wecompare these concepts with some other types of compactness in intuitionisticfuzzy topological spaces.
متن کاملSOME PROPERTIES OF NEAR SR-COMPACTNESS
In this paper, we study some properties of the near SR-compactnessin L-topological spaces, where L is a fuzzy lattice. The near SR-compactness isa kind of compactness between Lowen’s fuzzy compactness and SR-compactness,and it preserves desirable properties of compactness in general topologicalspaces.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Fuzzy Sets and Systems
دوره 143 شماره
صفحات -
تاریخ انتشار 2004